41. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
42. Developing concepts in applied intelligence /
پدیدآورنده : [edited by] Kishan G. Mehrotra ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence-- Research.,Computational intelligence-- Research.,Expert systems (Computer science)-- Industrial applications-- Research.
رده :
Q342
.
D484
2011eb
43. Digital libraries :
پدیدآورنده : Chunxiao Xing, Fabio Crestani, Andreas Rauber (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Digital libraries, Congresses
رده :
ZA4080
.
I58
2011
44. Discovery science :
پدیدآورنده : Tapio Elomaa, Jaakko Hollmén, Heikki Mannila (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data mining, Congresses,Discoveries in science, Congresses,Research-- Data processing, Congresses,Science-- Philosophy, Congresses
رده :
Q174
.
I58
2011
45. Distributed computing :
پدیدآورنده : David Peleg (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
D5
D53
2011
46. Economics of converged, internet-based networks :
پدیدآورنده : Johanne Cohen, Patrick Maillé, Burkhard Stiller (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Quality control, Congresses.,Computer networks, Congresses.,Electronic commerce, Congresses.,Internet, Congresses.
رده :
TK5105
.
875
.
I57
I58
2011
47. Emerging research in artificial intelligence and computational intelligence :
پدیدآورنده : Hepu Deng [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses
رده :
Q334
.
I58
2011
48. Flexible query answering systems :
پدیدآورنده : Henning Christiansen [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Database searching, Congresses,Question-answering systems, Congresses
رده :
QA76
.
9
.
Q4
F63
2011
49. Foundations and practical applications of cognitive systems and information processing :
پدیدآورنده : Fuchun Sun, Dewen Hu, Huaping Liu, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses,Artificial Intelligence (incl. Robotics),Computational Intelligence,Data Mining and Knowledge Discovery,Engineering,Information Storage and Retrieval,Information Systems Applications (incl. Internet),Signal, Image and Speech Processing
رده :
Q342
50. Frontiers of combining systems :
پدیدآورنده : Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
51. Frontiers of higher order fuzzy sets /
پدیدآورنده : Alireza Sadeghian, Hooman Tahayori, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science),Engineering.,Fuzzy sets.,Artificial Intelligence (incl. Robotics),Computational Intelligence.,Data Structures, Cryptology and Information Theory.
رده :
QA248
.
5
52. Fun with Algorithms
پدیدآورنده : edited by Evangelos Kranakis, Danny Krizanc, Flaminia Luccio
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence,Computational complexity,Computer Communication Networks,Computer science,Computer software,Data structures (Computer science),Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Communication Networks,Computer Science,Data Structures,Discrete Mathematics in Computer Science
53. Fuzzy Logic and Applications
پدیدآورنده : edited by Vito Di Gesú, Francesco Masulli, Alfredo Petrosino.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer vision.,Database management.,Database management.,Information organization.,Information retrieval.,Information storage and retrieva.,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices.,Image Processing and Computer Vision.,Mathematical Logic and Formal Languages.
54. Graph Structures for Knowledge Representation and Reasoning
پدیدآورنده : edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence,Computer science,Computer software,Logic design,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques
55. Handbook of grammatical evolution /
پدیدآورنده : Conor Ryan, Michael O'Neill, JJ Collins editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic programming (Computer science), Handbooks, manuals, etc.,Evolutionary programming (Computer science), Handbooks, manuals, etc.,Genetic algorithms, Handbooks, manuals, etc.,Artificial Intelligence (incl. Robotics).,Artificial intelligence.,Automatic programming (Computer science),COMPUTERS-- Computer Science.,COMPUTERS-- Programming-- General.,Evolutionary programming (Computer science),Genetic algorithms.
رده :
QA76
.
618
.
H36
2018
56. Handbook of human centric visualization /
پدیدآورنده : Weidong Huang, editor ; foreword by Peter Eades
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Human-computer interaction, Handbooks, manuals, etc.,Information visualization, Handbooks, manuals, etc.,Artificial Intelligence (incl. Robotics),Computer Graphics.,Computer Science.,Models and Principles.,User Interfaces and Human Computer Interaction.,Visualization.
رده :
TK7882
.
I6
57. Handwriting Recognition :
پدیدآورنده : by Zhi-Qiang Liu, Jinhai Cai, Richard Buse.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial Intelligence (incl. Robotics),Computer Science.,Learning et Instruction.
58. Human behavior unterstanding [ie: understanding]
پدیدآورنده : Albert Ali Salah, Bruno Lepri (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Human behavior-- Data processing, Congresses,Human-computer interaction, Congresses,Pattern recognition systems, Congresses
رده :
TK7882
.
P3
H38
2011
59. Human-centric decision-making models for social sciences /
پدیدآورنده : Peijun Guo, Witold Pedrycz, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Decision making-- Psychological aspects,Decision making-- Simulation methods,Artificial Intelligence (incl. Robotics),Computational Intelligence,Engineering,Social Sciences, general
رده :
HD30
.
23
60. ICCCE 2018 :
پدیدآورنده : Amit Kumar, Stefan Mozar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Cooperating objects (Computer systems), Congresses.,Internet of things, Congresses.,Artificial Intelligence (incl. Robotics).,Communications Engineering, Networks.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Engineering.,Microwaves, RF and Optical Engineering.,Signal, Image and Speech Processing.,Wireless and Mobile Communication.,Artificial intelligence.,Communications engineering / telecommunications.,Computer networks.,Computer vision.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Cooperating objects (Computer systems),Imaging systems & technology.,Internet of things.,Microwave technology.,WAP (wireless) technology.
رده :
TK5105
.
5
